哥德尔不完备定理 —— 奠定了计算机与 AI 的理论基础